1. Predicate calculus and program semantics

المؤلف:

المکتبة: (طهران)

موضوع: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics

رده :
QA
9
.
35
.
D55
1989

2. #Propositional and predicate calculus

المؤلف:

المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع: Propositional calculus ،Predicate calculus

رده :
#
QA
،#.
G65
،#
2005

3. Propositional and predicate calculus

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Propositional calculus ; Problems, exercises, etc. ; Predicate calculus ; Problems, exercises, etc. ;

4. Propositional and predicate calculus: a model of argument

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Propositional calculus,Predicate calculus,-- Problems, exercises, etc,-- Problems, exercises, etc

رده :
511
.
3
G621P
2005

5. Two papers on the predicate calculus

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Predicate calculus.